|
|
Compiler of a Language with User-Defined Syntax for New Constructs
Kuklínek, Lukáš ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
This project aims to design and implement an experimental programming language. The main feature of the language shall be the ability of the user to define new syntactic constructs. The language shall be statically typed and compiled to a native binary form. The language consists of two parts. The first part is a minimalistic core based on the principles of stack-oriented languages. The second part is a mechanism that lets users define new syntactic constructs. Then we elaborate on findings that have risen from design and experiments performed with the prototype implementation of the language.
|
|
|
IDE for SCADA Development at CERN
Mareček, Matěj ; Holík, Lukáš (oponent) ; Křivka, Zbyněk (vedoucí práce)
The goal of this master's thesis is to design and implement an IDE (Integrated Development Environment) that makes development for SIMATIC WinCC Open Architecture more effective and secure. This thesis is based on a research made by Eindhoven University of Technology and it meets needs of CERN EN ICE SCD section. The developed IDE is built on top of the Eclipse Platform and it uses Xtext for code parsing, scoping, linking and static code analysis. The IDE also supports a new programming language that allows programmers to easily define templates for WinCC OA configuration files. The interpreter of this new language is able to parse a template and a configuration file and decide whether the configuration file matches the template. The practical result of this thesis is an IDE that supports WinCC OA developers at CERN and performs periodical analysis of CERN code written in Control script Language.
|
|
| |
|
|
Srovnání efektivity různých programovacích jazyků při práci s automaty
Polanský, Ondřej ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
V této práci jsou srovnány jazyky C++, C#, OCaml a Python na základě rychlosti, paměťové náročnosti a programátorské přívětivosti. Práce si klade otázku, jak moc se liší programy pracující s konečnými automaty, pokud jsou zapsané v různých jazycích. V každém jazyce je implementována stejná sada základních a pokročilých automatových algoritmů a následně je měřena jejich efektivita na vzorku 200 konečných automatů na unixovém operačním systému. Závěrem jsou prezentovány výsledky a je diskutována vhodnost jednotlivých jazyků pro práci s automaty. Tato práce může posloužit například při výběru jazyka pro tvorbu knihoven pro práci s automaty nebo při návrhu programů a prototypů algoritmů pracujících s automaty.
|
|
| |
|
|
Porovnání programovacích jazyků PLC
Noga, Kamil ; Pásek, Jan (oponent) ; Fiedler, Petr (vedoucí práce)
Tato práce se zabývá programovacími jazyky programovatelných automatů v systémech Heidenhain a Mitsubishi. Cílem této práce je porovnání jednotlivých systémů po stránce PLC programování a také porovnání diagnostických nástrojů pro programátora v jednotlivých systémech. Dále pak porovnáním vývojového prostředí.
|
|
|
ALTREP Data Representation in FastR
Marek, Pavel ; Šindelář, Štěpán (vedoucí práce) ; Horký, Vojtěch (oponent)
R je dynamický programovací jazyk, používaný zejména v oborech statistika a datová analýza, rozšiřitelný pomocí balíčků. GNU-R, což je standardní interpreter jazyka R, přidal ve verzi 3.5.0 nové nativní API (ALTREP) pro vývojáře balíčků. Cílem této práce je implementovat ALTREP API pro FastR, což je interpreter jazyka R postavený na GraalVM a Truffle, a prozkoumat možnosti optimalizací FastR v kontextu tohoto API. Motivací je zejména zvýšení počtu balíčků, které bude FastR schopné nainstalovat a spustit. 1
|
|
|
ALTREP Data Representation in FastR
Marek, Pavel ; Šindelář, Štěpán (vedoucí práce) ; Horký, Vojtěch (oponent)
R je dynamický programovací jazyk, používaný zejména v oborech statistika a datová analýza, rozšiřitelný pomocí balíčků. GNU-R, což je standardní interpreter jazyka R, přidal ve verzi 3.5.0 nové nativní API (ALTREP) pro vývojáře balíčků. Cílem této práce je implementovat ALTREP API pro FastR, což je interpreter jazyka R postavený na GraalVM a Truffle, a prozkoumat možnosti optimalizací FastR v kontextu tohoto API. Motivací je zejména zvýšení počtu balíčků, které bude FastR schopné nainstalovat a spustit. 1
|
|
|
Typová inference a polymorfismus pro jazyk C
Klepl, Jiří ; Kratochvíl, Miroslav (vedoucí práce) ; Šefl, Vít (oponent)
Jazyk C, i přes své stáří, stále patří mezi přední jazyky programování počítačových systémů. Jeho ceněnou přednosti je, že uživateli poskytuje takřka úplnou kontrolu nad správou paměti a nad prováděnými výpočty. C však snáší kritiku za to, že v něm chybí prvky umožňující generické programování, což se v C kompenzuje používáním preprocesorových maker, což zvyšuje náchylnost na uživatelské chyby. Tento problém již řeší jazyk C++ už od počátků svého vývoje, ale spousta vývojářů počítačových systémů jej odmítá pro jeho komplexitu a netranspar- entnost kódu. Předkládáme tedy návrh na jednodušší řešení užitím typového systému Hindley-Milner. Toto řešení pak jen za drobých úprav syntaxe jazyka C poskytne mnohem vyšší expresivitu jazyka. 1
|
|
|
Srovnání efektivity různých programovacích jazyků při práci s automaty
Polanský, Ondřej ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
V této práci jsou srovnány jazyky C++, C#, OCaml a Python na základě rychlosti, paměťové náročnosti a programátorské přívětivosti. Práce si klade otázku, jak moc se liší programy pracující s konečnými automaty, pokud jsou zapsané v různých jazycích. V každém jazyce je implementována stejná sada základních a pokročilých automatových algoritmů a následně je měřena jejich efektivita na vzorku 200 konečných automatů na unixovém operačním systému. Závěrem jsou prezentovány výsledky a je diskutována vhodnost jednotlivých jazyků pro práci s automaty. Tato práce může posloužit například při výběru jazyka pro tvorbu knihoven pro práci s automaty nebo při návrhu programů a prototypů algoritmů pracujících s automaty.
|
host ::
RSS.